automated verificationの例文

例文

もっと例文:   1  2

1. Besides the automated verification, some banks do provide merchants with a manual verification system.
2. The concept of trust management has been introduced by Matt Blaze to aid the automated verification of actions against security policies.
3. Term graphs can perform automated verification and logical programming since they are well-suited to representing quantified statements in first order logic.
4. Kwiatkowska's research is in the area of modelling and formal verification of complex systems, especially using automated verification through model checking.
5. The above described explicitation process results in Knowledge Models and Standard Specifications Models that enable their use for computer supported knowledge-aided design as well as for automated verification of designs.